Перевод: с русского на все языки

со всех языков на русский

Со всех языков на:
Русский
С русского на:
Английский

formal inference

Толкование Перевод

1 Formal Inference Recursive Modeling

Mathematics: FIRM

Универсальный русско-английский словарь > Formal Inference Recursive Modeling
2 формальный вывод

formal inference

Русско-английский технический словарь > формальный вывод
3 формальный вывод

formal inference

Русско-английский словарь по вычислительной технике и программированию > формальный вывод
4 формальный вывод

formal inference

Русско-английский математический словарь > формальный вывод
5 формальный вывод

formal inference

Русско-английский политехнический словарь > формальный вывод
6 мощность логического вывода

inference capacity

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > мощность логического вывода
7 управление выводом

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление выводом
8 управление процессом вывода

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление процессом вывода
9 формальный вывод

formal inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

[lang name="Russian"]схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский научный словарь > формальный вывод
10 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский новый политехнический словарь > логический вывод
11 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский словарь по информационным технологиям > логический вывод
12 формальный вывод

formal inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский словарь по информационным технологиям > формальный вывод
13 формальный вывод

formal inference

грамматический вывод — grammatical inference

необоснованные выводы — unfounded inferences

механизм логического вывода — inference engine

на основе логического вывода — inference based

пропозиционный вывод — propositional inference

Русско-английский большой базовый словарь > формальный вывод
14 машина логического вывода

1. inferencing engine

алгоритм логического вывода — inferencing algorithm

механизм логического вывода — inference engine

формирование вывода — inferencing

2. inference engine

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

3. inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > машина логического вывода
15 механизм логического вывода

1. inference engine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing engine

процесс вывода — inferencing

формирование вывода — inferencing

машина логического вывода — inferencing engine

алгоритм логического вывода — inferencing algorithm

3. inferential mechanism

механизм вывода; устройство вывода — output mechanism

Русско-английский большой базовый словарь > механизм логического вывода
16 непосредственный вывод

1. direct derivation

вывод формулы изгиба — derivation of the flexure formula

вывод уравнения — derivation of an equation

канонический вывод — canonical derivation

вывод формулы — derivation of a formula

прямой вывод данных — direct output

2. immediate inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > непосредственный вывод
17 получение выводов

1. inference making

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing

алгоритм логического вывода — inferencing algorithm

машина логического вывода — inferencing engine

формирование вывода — inferencing

Русско-английский большой базовый словарь > получение выводов
18 супермашина логического вывода

super inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > супермашина логического вывода
19 пропозиционный вывод

propositional inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский военно-политический словарь > пропозиционный вывод
20 правило вывода

1. rule of inference

логический вывод — inference

правила вывода — production rule

цепочка вывода — inference chain

схемы вывода — inference machinery

формальный вывод — formal inference

2. production rule

вывод правил методом индукции — rule induction

Русско-английский большой базовый словарь > правило вывода

Страницы

См. также в других словарях:

formal fallacy — noun : a violation of any rule of formal inference called also paralogism; contrasted with material fallacy and verbal fallacy; compare affirmation of the consequent, denial of the antecedent, ignoratio elenchi, illicit process … Useful english dictionary
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с русского на все языки

formal inference

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с русского на все языки

formal inference

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: